$\forall$${\it the\_es}$:event\_system\{i:l\}, $e$,${\it e'}$:es{-}E(${\it the\_es}$). es{-}causl(${\it the\_es}$; $e$; ${\it e'}$) $\in$ prop\{i:l\}